$\forall$$r$:rationals. ($\uparrow$qpositive($r$)) $\Rightarrow$ ($\neg$($\uparrow$qpositive({-}($r$))))